Total Books: 1 - 1 /1
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lire la suite
Total Books: 1 - 1 /1
